<!DOCTYPE html>
<html lang="zh_cn">
<head>
          <title>来玩魔王的咚</title>
        <meta name="viewport" content="width=device-width, initial-scale=1" />
        <meta charset="utf-8" />
        <!-- twitter card metadata -->
<meta name="twitter:card" content="summary">
<meta name="twitter:image" content="/images/mowang.png">
<meta name="twitter:site" content="">
<meta name="twitter:title" content="使用共享变量实现并发">
<meta name="twitter:description" content="<p>竞态；互斥锁；读写互斥锁；内存同步；延迟初始化；goroutine与线程：可增长的栈，goroutine调度，GOMAXPROCS，goroutine没有标识</p>">
        <!-- OG Tags -->
<meta property="og:url" content="/gopl-share-memory-by-communicating.html"/>
<meta property="og:title" content="来玩魔王的咚 | 使用共享变量实现并发" />
<meta property="og:description" content="<p>竞态；互斥锁；读写互斥锁；内存同步；延迟初始化；goroutine与线程：可增长的栈，goroutine调度，GOMAXPROCS，goroutine没有标识</p>" />
        <!-- favicon -->
        <link rel="icon" type="image/png" href="/images/mowang.png">
        <!-- moment.js for date formatting -->
        <script src="/theme/js/moment.js"></script>
        <!-- css -->
        <link rel="stylesheet" type="text/css" href="/theme/css/main.css" />
        <!-- 左边的menu，如果页面高度不够，就跟着滚动，否则文章分类显示不全 -->
        <link rel="stylesheet" type="text/css" href="/theme/css/mycss/menu.css" />
		<script>
			
                /*! grunt-grunticon Stylesheet Loader - v2.1.2 | https://github.com/filamentgroup/grunticon | (c) 2015 Scott Jehl, Filament Group, Inc. | MIT license. */
    
    (function(e){function t(t,n,r,o){"use strict";function a(){for(var e,n=0;u.length>n;n++)u[n].href&&u[n].href.indexOf(t)>-1&&(e=!0);e?i.media=r||"all":setTimeout(a)}var i=e.document.createElement("link"),l=n||e.document.getElementsByTagName("script")[0],u=e.document.styleSheets;return i.rel="stylesheet",i.href=t,i.media="only x",i.onload=o||null,l.parentNode.insertBefore(i,l),a(),i}var n=function(r,o){"use strict";if(r&&3===r.length){var a=e.navigator,i=e.Image,l=!(!document.createElementNS||!document.createElementNS("http://www.w3.org/2000/svg","svg").createSVGRect||!document.implementation.hasFeature("http://www.w3.org/TR/SVG11/feature#Image","1.1")||e.opera&&-1===a.userAgent.indexOf("Chrome")||-1!==a.userAgent.indexOf("Series40")),u=new i;u.onerror=function(){n.method="png",n.href=r[2],t(r[2])},u.onload=function(){var e=1===u.width&&1===u.height,a=r[e&&l?0:e?1:2];n.method=e&&l?"svg":e?"datapng":"png",n.href=a,t(a,null,null,o)},u.src="",document.documentElement.className+=" grunticon"}};n.loadCSS=t,e.grunticon=n})(this);(function(e,t){"use strict";var n=t.document,r="grunticon:",o=function(e){if(n.attachEvent?"complete"===n.readyState:"loading"!==n.readyState)e();else{var t=!1;n.addEventListener("readystatechange",function(){t||(t=!0,e())},!1)}},a=function(e){return t.document.querySelector('link[href$="'+e+'"]')},c=function(e){var t,n,o,a,c,i,u={};if(t=e.sheet,!t)return u;n=t.cssRules?t.cssRules:t.rules;for(var l=0;n.length>l;l++)o=n[l].cssText,a=r+n[l].selectorText,c=o.split(");")[0].match(/US\-ASCII\,([^"']+)/),c&&c[1]&&(i=decodeURIComponent(c[1]),u[a]=i);return u},i=function(e){var t,o,a;o="data-grunticon-embed";for(var c in e)if(a=c.slice(r.length),t=n.querySelectorAll(a+"["+o+"]"),t.length)for(var i=0;t.length>i;i++)t[i].innerHTML=e[c],t[i].style.backgroundImage="none",t[i].removeAttribute(o);return t},u=function(t){"svg"===e.method&&o(function(){i(c(a(e.href))),"function"==typeof t&&t()})};e.embedIcons=i,e.getCSS=a,e.getIcons=c,e.ready=o,e.svgLoadedCallback=u,e.embedSVG=u})(grunticon,this);
                
                grunticon(["/theme/css/icons.data.svg.css", "/theme/css/icons.data.png.css", "/theme/css/icons.fallback.css"]);
            </script>
        <noscript><link href="/theme/css/icons.fallback.css" rel="stylesheet"></noscript>
        <!-- menu toggle javascript -->
        <script type="text/javascript">
            document.addEventListener("DOMContentLoaded", initMenu);
            
            function initMenu(){
                var menu = document.getElementById("menu");
                var menulink = document.getElementById("menu-link");
                menulink.addEventListener("click", function toggleMenu(){
                        window.event.preventDefault();
                        menulink.classList.toggle('active');
                        menu.classList.toggle('active');              
                    });
            };
        </script>
        <!-- 不蒜子 -->
        <script async src="//busuanzi.ibruce.info/busuanzi/2.3/busuanzi.pure.mini.js"></script>

    <meta name="description" content="<p>竞态；互斥锁；读写互斥锁；内存同步；延迟初始化；goroutine与线程：可增长的栈，goroutine调度，GOMAXPROCS，goroutine没有标识</p>" />

    <meta name="tags" content="gopl" />
    <meta name="tags" content="sync" />
    <meta name="tags" content="goroutine" />
  <!-- 替换部分base的样式，看文章时，要再宽一点，右边有很多空间可以撑开 -->
  <link rel="stylesheet" type="text/css" href="/theme/css/mycss/article.css" />

</head>
<body>
    <div role="banner" id="masthead">
        <header>
            <a href="/"><img src="/images/mowang.png" alt="McManus Logo"></a>
                <h1>来玩魔王的咚@骑士救兵</h1>
            <a href="#menu" id="menu-link">more stuff</a>
            <nav id="menu">
                <ul>
                        <li><a href="/tags">tags</a></li>
                            <li><a href="/category/cloud.html">Cloud</a></li>
                            <li><a href="/category/docker.html">Docker</a></li>
                            <li class="active"><a href="/category/go.html">Go</a></li>
                            <li><a href="/category/linux.html">Linux</a></li>
                            <li><a href="/category/python.html">Python</a></li>
                            <li><a href="/category/xue-xi-bi-ji.html">学习笔记</a></li>
                            <li><a href="/category/yun-wei-zi-dong-hua.html">运维自动化</a></li>
                </ul>
            </nav>
        </header>
    </div>
        <div class="page" role="main">
  <div class="article" role="article">
    <article>
        <footer>
            <a name="top"></a>
            <p>
              <time datetime=" 2020-08-08 09:30:00+08:00">
                <script>document.write(moment('2020-08-08 09:30:00+08:00').format('LL'));</script>
              </time>
              ~
              <time datetime=" 2020-08-08 09:30:00+08:00">
                <script>document.write(moment('2020-08-10 09:30:00+08:00').format('LL'));</script>
              </time>
            </p>
        </footer>
        <header>
          <h2>
            使用共享变量实现并发
          </h2>
        </header>
      <div class="content">
         <div class="toc">
<ul>
<li><a href="#jing-tai">竞态</a></li>
<li><a href="#hu-chi-suo-syncmutex">互斥锁：sync.Mutex</a></li>
<li><a href="#du-xie-hu-chi-suo-syncrwmutex">读写互斥锁：sync.RWMutex</a></li>
<li><a href="#nei-cun-tong-bu">内存同步</a></li>
<li><a href="#yan-chi-chu-shi-hua-synconce">延迟初始化：sync.Once</a></li>
<li><a href="#goroutine-yu-xian-cheng">goroutine 与线程</a><ul>
<li><a href="#ke-zeng-zhang-de-zhan">可增长的栈</a></li>
<li><a href="#goroutine-diao-du">goroutine 调度</a></li>
<li><a href="#gomaxprocs">GOMAXPROCS</a></li>
<li><a href="#goroutine-mei-you-biao-zhi">goroutine 没有标识</a></li>
</ul>
</li>
</ul>
</div>
<h3 id="jing-tai"><a class="toclink" href="#jing-tai">竞态</a></h3>
<p><strong>并发</strong>，如果无法确定一个事件先于另外一个事件，那么这两个事件就是并发的。<br>
<strong>并发安全</strong>（concurrency-safe），如果一个函数在并发调用时仍然能正确工作，那么这个函数就是并发安全的。如果一个类型的所有可访问方法和操作都是并发安全的，则它可称为并发安全的类型。  </p>
<p>并发安全的类型是特例而不是普遍存在的，对于绝大部分变量，如要回避并发访问，只有下面几种办法：</p>
<ul>
<li><strong>限制</strong>变量只存在于一个 goroutine 内。</li>
<li>维护一个更高层的<strong>互斥不变量</strong>。</li>
</ul>
<p>竞态是指在多个 goroutine 按某些交错顺序执行时程序无法给出正确的结果。<br>
<strong>数据竞态</strong>（data race）是竞态的一种。数据竞态发生于两个 goroutine 并发读写同一个变量并且至少其中一个是写入时。<br>
有三种方法来避免数据竞态：</p>
<ul>
<li>不要修改变量</li>
<li>避免从多个 goroutine 访问同一个变量。就是<strong>限制</strong></li>
<li>允许多个 goroutine 访问同一个变量，但在同一时间只有一个 goroutine 可以访问。这种方法称为<strong>互斥机制</strong></li>
</ul>
<blockquote>
<p>Go 箴言：“不要通过共享内存来通信，而应该通过通信来共享内存”。<br>
Don't communicate by sharing memory, share memory by communicating.  </p>
</blockquote>
<h3 id="hu-chi-suo-syncmutex"><a class="toclink" href="#hu-chi-suo-syncmutex">互斥锁：sync.Mutex</a></h3>
<p>使用缓冲通道可以实现一个计数信号量，可以用于同时发起的 goroutine 的数量。一个计数上限为 1 的信号量称为<strong>二进制信号量</strong>（binary semaphore）。<br>
使用二进制信号量就可以实现互斥锁：</p>
<div class="highlight"><pre><span></span><code><span class="kd">var</span><span class="w"> </span><span class="p">(</span><span class="w"></span>
<span class="w">    </span><span class="nx">sema</span><span class="w">    </span><span class="p">=</span><span class="w"> </span><span class="nb">make</span><span class="p">(</span><span class="kd">chan</span><span class="w"> </span><span class="kd">struct</span><span class="p">{},</span><span class="w"> </span><span class="mi">1</span><span class="p">)</span><span class="w"> </span><span class="c1">// 用来保护 balance 的二进制信号量</span><span class="w"></span>
<span class="w">    </span><span class="nx">balance</span><span class="w"> </span><span class="kt">int</span><span class="w"></span>
<span class="p">)</span><span class="w"></span>

<span class="kd">func</span><span class="w"> </span><span class="nx">Deposit</span><span class="p">(</span><span class="nx">amount</span><span class="w"> </span><span class="kt">int</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">sema</span><span class="w"> </span><span class="o">&lt;-</span><span class="w"> </span><span class="kd">struct</span><span class="p">{}{}</span><span class="w"> </span><span class="c1">// 获取令牌</span><span class="w"></span>
<span class="w">    </span><span class="nx">balance</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="nx">balance</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="nx">amount</span><span class="w"></span>
<span class="w">    </span><span class="o">&lt;-</span><span class="nx">sema</span><span class="w"> </span><span class="c1">// 释放令牌</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>

<span class="kd">func</span><span class="w"> </span><span class="nx">Balance</span><span class="p">()</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">sema</span><span class="w"> </span><span class="o">&lt;-</span><span class="w"> </span><span class="kd">struct</span><span class="p">{}{}</span><span class="w"> </span><span class="c1">// 获取令牌</span><span class="w"></span>
<span class="w">    </span><span class="nx">b</span><span class="w"> </span><span class="o">:=</span><span class="w"> </span><span class="nx">balance</span><span class="w"></span>
<span class="w">    </span><span class="o">&lt;-</span><span class="nx">sema</span><span class="w"> </span><span class="c1">// 释放令牌</span><span class="w"></span>
<span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="nx">b</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>

<p><strong>互斥锁</strong>模式应用非常广泛，所以 sync 包有一个单独的 Mutex 类型来支持这种模式：</p>
<div class="highlight"><pre><span></span><code><span class="kn">import</span><span class="w"> </span><span class="s">&quot;sync&quot;</span><span class="w"></span>

<span class="kd">var</span><span class="w"> </span><span class="p">(</span><span class="w"></span>
<span class="w">    </span><span class="nx">mu</span><span class="w">      </span><span class="nx">sync</span><span class="p">.</span><span class="nx">Mutex</span><span class="w"> </span><span class="c1">// 保护 balance</span><span class="w"></span>
<span class="w">    </span><span class="nx">balance</span><span class="w"> </span><span class="kt">int</span><span class="w"></span>
<span class="p">)</span><span class="w"></span>

<span class="kd">func</span><span class="w"> </span><span class="nx">Deposit</span><span class="p">(</span><span class="nx">amount</span><span class="w"> </span><span class="kt">int</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">mu</span><span class="p">.</span><span class="nx">Lock</span><span class="p">()</span><span class="w"></span>
<span class="w">    </span><span class="nx">balance</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="nx">balance</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="nx">amount</span><span class="w"></span>
<span class="w">    </span><span class="nx">mu</span><span class="p">.</span><span class="nx">Unlock</span><span class="p">()</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>

<span class="kd">func</span><span class="w"> </span><span class="nx">Balance</span><span class="p">()</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">mu</span><span class="p">.</span><span class="nx">Lock</span><span class="p">()</span><span class="w"></span>
<span class="w">    </span><span class="nx">b</span><span class="w"> </span><span class="o">:=</span><span class="w"> </span><span class="nx">balance</span><span class="w"></span>
<span class="w">    </span><span class="nx">mu</span><span class="p">.</span><span class="nx">Unlock</span><span class="p">()</span><span class="w"></span>
<span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="nx">b</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>

<p>互斥量<strong>保护</strong>共享变量。按照惯例，被互斥量保护的变量声明应当紧接在互斥量的声明之后。如果实际情况不是如此，请加注释说明。  </p>
<p><strong>临界区域</strong>，在 Lock 和 Unlock 之间的代码，可以自由地读取和修改共享变量，这一部分称为临界区域。  </p>
<p><strong>封装</strong>，即通过在程序中减少对数据结构的非预期交互，来帮助我们保证数据结构中的不变量。类似的原因，封装也可以用来保持并发中的不变性。所以无论是为了保护包级别的变量，还是结构中的字段，当使用一个互斥量时，都请确保互斥量本身以及被保护的变量都没有导出。  </p>
<h3 id="du-xie-hu-chi-suo-syncrwmutex"><a class="toclink" href="#du-xie-hu-chi-suo-syncrwmutex">读写互斥锁：sync.RWMutex</a></h3>
<p><strong>多读单写锁</strong>，允许只读操作可以并发执行，但写操作需要获得完全独享的访问权限。<br>
Go 语言中的 sync.RWMutex 提供了这种功能：</p>
<div class="highlight"><pre><span></span><code><span class="kd">var</span><span class="w"> </span><span class="nx">mu</span><span class="w"> </span><span class="nx">sync</span><span class="p">.</span><span class="nx">RWMutex</span><span class="w"></span>
<span class="kd">var</span><span class="w"> </span><span class="nx">balance</span><span class="w"> </span><span class="kt">int</span><span class="w"></span>

<span class="kd">func</span><span class="w"> </span><span class="nx">Balance</span><span class="p">()</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">mu</span><span class="p">.</span><span class="nx">RLock</span><span class="p">()</span><span class="w"> </span><span class="c1">// 读取</span><span class="w"></span>
<span class="w">    </span><span class="k">defer</span><span class="w"> </span><span class="nx">mu</span><span class="p">.</span><span class="nx">RUnlock</span><span class="p">()</span><span class="w"></span>
<span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="nx">balance</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>

<p>Balance 函数可以调用 mu.RLock 和 mu.RUnlock 方法来分别获取和释放一个<strong>读锁</strong>（也称为<strong>共享锁</strong>）。而之前的 mu.Lock 和 mu.Unlock 方法则是分别获取和释放一个<strong>写锁</strong>（也称为<strong>互斥锁</strong>）。<br>
一般情况下，不应该假定那些<strong>逻辑上</strong>只读的函数和方法不会更新一些变量。比如，一个看起来只是简单访问的方法，可能会递增内部使用的计数器，或者更新一个缓存来让重复的调用更快。如果不确定，就应该使用互斥锁。  </p>
<p><strong>读锁的应用场景</strong><br>
仅在绝大部分 goroutine 都在获取读锁并且锁竞争比较激烈时，RWMutex 才有优势。因为 RWMutex 需要更复杂的内部实现，所以在竞争不激烈时它比普通的互斥锁慢。  </p>
<h3 id="nei-cun-tong-bu"><a class="toclink" href="#nei-cun-tong-bu">内存同步</a></h3>
<p>现代的计算机一般会有多个处理器，每个处理器都有内存的本地缓存。为了提高效率，对内存的写入是缓存在每个处理器中的，只在必要时才刷回内存。甚至刷会内存的顺序都可能与 goroutine 的写入顺序不一致。像通道通信或者互斥锁操作这样的同步源语都会导致处理器把累积的写操作刷回内存并提交。但这个时刻之前 goroutine 的执行结果就无法保证能被运行在其他处理器的 goroutine 观察到。<br>
考虑如下的代码片段可能的输出：</p>
<div class="highlight"><pre><span></span><code><span class="kd">var</span><span class="w"> </span><span class="nx">x</span><span class="p">,</span><span class="w"> </span><span class="nx">y</span><span class="w"> </span><span class="kt">int</span><span class="w"></span>
<span class="k">go</span><span class="w"> </span><span class="kd">func</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">x</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="mi">1</span><span class="w"></span>
<span class="w">    </span><span class="nx">fmt</span><span class="p">.</span><span class="nx">Print</span><span class="p">(</span><span class="s">&quot;y:&quot;</span><span class="p">,</span><span class="w"> </span><span class="nx">y</span><span class="p">,</span><span class="w"> </span><span class="s">&quot; &quot;</span><span class="p">)</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
<span class="k">go</span><span class="w"> </span><span class="kd">func</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">y</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="mi">1</span><span class="w"></span>
<span class="w">    </span><span class="nx">fmt</span><span class="p">.</span><span class="nx">Print</span><span class="p">(</span><span class="s">&quot;x:&quot;</span><span class="p">,</span><span class="w"> </span><span class="nx">x</span><span class="p">,</span><span class="w"> </span><span class="s">&quot; &quot;</span><span class="p">)</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>

<p>下面4个是显而易见的可能的输出结果：</p>
<div class="highlight"><pre><span></span><code>y:0 x:1
x:0 y:1
x:1 y:1
y:1 x:1
</code></pre></div>

<p>但是下面的输出也是可能出现的：</p>
<div class="highlight"><pre><span></span><code>x:0 y:0
y:0 x:0
</code></pre></div>

<p>在某些特定的编译器、CPU 或者其他情况下，这些确实可能发生。  </p>
<p>单个 goroutine 内，每个语句的效果保证按照执行的顺序发生，也就是说，goroutine 是<strong>串行一致</strong>的（sequentially consistent）。但在缺乏使用通道或者互斥量来显式同步的情况下，并不能保证所有的 goroutine 看到的事件顺序都是一致的。<br>
上面的两个 goroutine 尽管打印语句是在赋值另外一个变量之后，但是一个 goroutine 并不一定能观察到另一个 goroutine 对变量的效果。所以可能输出的是一个变量的<strong>过期值</strong>。<br>
尽管很容易把并发简单理解为多个 goroutine 中语句的某种交错执行方式。如果两个 goroutine 在不同的 CPU 上执行，每个 CPU 都有自己的缓存，那么一个 goroutine 的写入操作在同步到内存之前对另外一个 goroutine 的打印变量的语句是不可见的。<br>
这些并发的问题都可以通过采用简单、成熟的模式来避免，即在可能的情况下，把变量限制到单个 goroutine 中，对于其他变量，使用互斥锁。  </p>
<h3 id="yan-chi-chu-shi-hua-synconce"><a class="toclink" href="#yan-chi-chu-shi-hua-synconce">延迟初始化：sync.Once</a></h3>
<p>延迟一个昂贵的初始化步骤到有实际需求的时刻是一个很好的实践。预先初始化一个变量会增加程序的启动延迟，并且如果实际执行时有可能根本用不上这个变量，那么初始化也不是必需的。<br>
sync 包提供了针对一次性初始化问题的特化解决方案：sync.Once。从概念上来讲，Once 包含一个布尔变量和一个互斥量，布尔变量记录初始化是否已经完成，互斥量则负责保护这个布尔变量和客户端的数据结构。<br>
Once 唯一的方法 Do 以初始化函数作为它的参数：</p>
<div class="highlight"><pre><span></span><code><span class="kd">var</span><span class="w"> </span><span class="nx">loadIconsOnce</span><span class="w"> </span><span class="nx">sync</span><span class="p">.</span><span class="nx">Once</span><span class="w"></span>
<span class="kd">var</span><span class="w"> </span><span class="nx">icons</span><span class="w"> </span><span class="kd">map</span><span class="p">[</span><span class="kt">string</span><span class="p">]</span><span class="nx">image</span><span class="p">.</span><span class="nx">Image</span><span class="w"></span>

<span class="c1">// 这是个昂贵的初始化步骤</span><span class="w"></span>
<span class="kd">func</span><span class="w"> </span><span class="nx">loadIcons</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">icons</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="kd">map</span><span class="p">[</span><span class="kt">string</span><span class="p">]</span><span class="nx">image</span><span class="p">.</span><span class="nx">Image</span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="s">&quot;spades.png&quot;</span><span class="p">:</span><span class="w">   </span><span class="nx">loadIcon</span><span class="p">(</span><span class="s">&quot;spades.png&quot;</span><span class="p">),</span><span class="w"></span>
<span class="w">        </span><span class="s">&quot;hearts.png&quot;</span><span class="p">:</span><span class="w">   </span><span class="nx">loadIcon</span><span class="p">(</span><span class="s">&quot;hearts.png&quot;</span><span class="p">),</span><span class="w"></span>
<span class="w">        </span><span class="s">&quot;diamonds.png&quot;</span><span class="p">:</span><span class="w"> </span><span class="nx">loadIcon</span><span class="p">(</span><span class="s">&quot;diamonds.png&quot;</span><span class="p">),</span><span class="w"></span>
<span class="w">        </span><span class="s">&quot;clubs.png&quot;</span><span class="p">:</span><span class="w">    </span><span class="nx">loadIcon</span><span class="p">(</span><span class="s">&quot;clubs.png&quot;</span><span class="p">),</span><span class="w"></span>
<span class="w">    </span><span class="p">}</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>

<span class="c1">// 并发安全</span><span class="w"></span>
<span class="kd">func</span><span class="w"> </span><span class="nx">Icon</span><span class="p">(</span><span class="nx">name</span><span class="w"> </span><span class="kt">string</span><span class="p">)</span><span class="w"> </span><span class="nx">image</span><span class="p">.</span><span class="nx">Image</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="nx">loadIconsOnce</span><span class="p">.</span><span class="nx">Do</span><span class="p">(</span><span class="nx">loadIcons</span><span class="p">)</span><span class="w"></span>
<span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="nx">icons</span><span class="p">[</span><span class="nx">name</span><span class="p">]</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>

<p>每次调用 Do 方法时，会先锁定互斥量并检查里边的布尔变量。在第一次调用时，这个布尔变量为 false，Do 会调用它参数的方法，然后把布尔变量设置为 true。之后 DO 方法的调用相当于空操作，只是通过互斥量的同步来保证初始化操作对内存产生的效果对所有的 goroutine 可见。以这种方式来使用 sync.Once，可以避免变量在构造完成之前就被其他 goroutine 访问。  </p>
<h3 id="goroutine-yu-xian-cheng"><a class="toclink" href="#goroutine-yu-xian-cheng">goroutine 与线程</a></h3>
<p>goroutine 与操作系统（OS）线程之间的差异本质上属于量变。但是足够大的量变会变成质变，所以还是要区分一下两者的差异。  </p>
<h4 id="ke-zeng-zhang-de-zhan"><a class="toclink" href="#ke-zeng-zhang-de-zhan">可增长的栈</a></h4>
<p>每个 OS 线程都有一个固定大小的栈内存（通常为 2MB），栈内存区域用户保存在其他函数调用期间那些正在执行或临时暂停的函数中的局部变量。这个固定的大小对小的 goroutine 来说太大了，对于要创建数量巨大的 goroutine 来说，就会有巨大的浪费。另外，对于更复杂或者深度递归的函数，固定大小的栈又会不够大。改变这个固定大小，调小了可以允许创建更多的线程，改大了则可以容许更深的递归，但两者无法同时兼容。<br>
gotouine 也用于存放那些正在执行或临时暂停的函数中的局部变量。但栈的大小不是固定的，它可与按需增大或缩小。goroutine 的栈大小限制可以达到 1GB。当然，只有极少的 goroutine 会使用这么大的栈。  </p>
<h4 id="goroutine-diao-du"><a class="toclink" href="#goroutine-diao-du">goroutine 调度</a></h4>
<h5 id="os-xian-cheng-diao-du-qi"><a class="toclink" href="#os-xian-cheng-diao-du-qi">OS线程调度器</a></h5>
<p>OS线程由OS内核来调度。每隔几毫秒，一个硬件时钟中断发送到CPU、CPU调用一个叫<strong>调度器</strong>的内核函数。这个函数暂停当前正在运行的线程，把它的寄存器信息保存到内存，查看线程列表并决定接下来运行哪一个线程，再从内存恢复线程的注册表信息，最后继续执行选中的线程。因为OS线程由内核来调度，所以控制权限从一个线程到另外一个线程需要一个完整的<strong>上下文切换</strong>（context switch）：即保存一个线程的状态到内存，再恢复另外一个线程的状态、最后更新调度器的数据结构。考虑这个操作涉及的内存局域性以及涉及的内存访问数量，还有访问内存所需的CPU周期数量的增加，这个操作其实是很慢的。  </p>
<h5 id="go-diao-du-qi"><a class="toclink" href="#go-diao-du-qi">Go调度器</a></h5>
<p>Go 运行时包含一个自己的调度器，这个调度器使用一个称为<strong>m:n 调度</strong>的技术（因为它可以复用/调度 m 个 goroutine 到 n 个OS线程）。Go 调度器与内核调度器的工作类似，但 Go 调度器值需关心单个 Go 程序的 goroutine 调度问题。  </p>
<h5 id="cha-bie"><a class="toclink" href="#cha-bie">差别</a></h5>
<p>与操作系统的线程调度器不同的是，Go 调度器不是由硬件时钟来定期触发的，而是由特定的 Go 语言结构来触发的。比如当一个 goroutine 调用 time.Sleep 或被通道阻塞或对互斥量操作时，调度器就会将这个 goroutine 设为休眠模式，并运行其他 goroutine 直到前一个可重新唤醒为止。因为它不需要切换到内核语境，所以调用一个 goroutine 比调度一个线程成本低很多。  </p>
<h4 id="gomaxprocs"><a class="toclink" href="#gomaxprocs">GOMAXPROCS</a></h4>
<p>Go 调度器使用 GOMAXPROCS 参数来确定需要使用多少个OS线程来同时执行 Go 代码，默认值是机器上的CPU数量（GOMAXPROCS 是 m:n 调度中的 n）。正在休眠或者正被通道通信阻塞的 goroutine 不需要占用线程。阻塞在 I\/O 和其他系统调用中或调用非 Go 语言写的函数的 goroutine 需要一个独立的OS线程，但这个线程不计算在 GOMAXPROCS 内。<br>
可以用 GOMAXPROCS 环境变量或者 runtime.GOMAXPROCS 函数来显式控制这个参数。可以用一个小程序来看看 GOMAXPROCS 的效果。<br>
这个程序无止境地输出0和1：</p>
<div class="highlight"><pre><span></span><code><span class="kd">func</span><span class="w"> </span><span class="nx">main</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="kd">var</span><span class="w"> </span><span class="nx">n</span><span class="w"> </span><span class="kt">int</span><span class="w"></span>
<span class="w">    </span><span class="nx">flag</span><span class="p">.</span><span class="nx">IntVar</span><span class="p">(</span><span class="o">&amp;</span><span class="nx">n</span><span class="p">,</span><span class="w"> </span><span class="s">&quot;n&quot;</span><span class="p">,</span><span class="w"> </span><span class="mi">1</span><span class="p">,</span><span class="w"> </span><span class="s">&quot;GOMAXPROCS&quot;</span><span class="p">)</span><span class="w"></span>
<span class="w">    </span><span class="nx">flag</span><span class="p">.</span><span class="nx">Parse</span><span class="p">()</span><span class="w"></span>
<span class="w">    </span><span class="nx">runtime</span><span class="p">.</span><span class="nx">GOMAXPROCS</span><span class="p">(</span><span class="nx">n</span><span class="p">)</span><span class="w"></span>
<span class="w">    </span><span class="k">for</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="k">go</span><span class="w"> </span><span class="nx">fmt</span><span class="p">.</span><span class="nx">Print</span><span class="p">(</span><span class="mi">0</span><span class="p">)</span><span class="w"></span>
<span class="w">        </span><span class="nx">fmt</span><span class="p">.</span><span class="nx">Print</span><span class="p">(</span><span class="mi">1</span><span class="p">)</span><span class="w"></span>
<span class="w">    </span><span class="p">}</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>

<p>这里使用命令行参数来控制线程数量。  </p>
<p>Linux 中应该可以直接设置 GOMAXPROCS 环境变量来运行程序：</p>
<div class="highlight"><pre><span></span><code>$ <span class="nv">GOMAXPROCS</span><span class="o">=</span><span class="m">1</span> go run main.go
$ <span class="nv">GOMAXPROCS</span><span class="o">=</span><span class="m">2</span> go run main.go
</code></pre></div>

<p>GOMAXPROCS 为1时，每次最多只能由一个 goroutine 运行。最开始是主 goroutine，它会连续输出很多1。在运行了一段时间之后，Go 调度器让主 goroutine 休眠，并唤醒另一个输出0的 goroutine，让它有机会执行。所以执行结果能看到大段的连续的0或1。<br>
GOMAXPROCS 为2时，就有两个可用的OS线程，所以两个 goroutine 可以同时运行，输出的0和1就会交替出现（我看到的是小段小段的交替）。  </p>
<h4 id="goroutine-mei-you-biao-zhi"><a class="toclink" href="#goroutine-mei-you-biao-zhi">goroutine 没有标识</a></h4>
<p>在大部分支持多线程的操作系统和编程语言里，当前线程都有一个独特的标识，它通常可以取一个整数或者指针。这个特性让我们可以轻松构建一个<strong>线程的局部存储</strong>，它本质上就是一个全局的 map，以线程的标识为 key，这样各个线程都可以独立地用这个 map 存储和获取值，而不受其他线程的干扰。<br>
goroutine 没有可供程序员访问的表示。这个是有设计来决定的，因为线程局部存储有一个被滥用的的倾向。<br>
Go 语言鼓励一种更简单的编程风格。其中，能影响一个函数行为的参数应当是显式指定的。  </p>
      </div>
      <div class="back-to-top">
        <a href="/">HOME</a>
        <a href="#top">TOP</a>
      </div>
    </article>
  </div>
<!-- end article -->
<!-- 页面往下滚动一段之后才会显示TOC -->
<script>
  window.onscroll = function() {
    var tocbox = document.getElementsByClassName('toc')[0];
    var osTop = document.documentElement.scrollTop || document.body.scrollTop;
    var osWidth = document.documentElement.scrollWidth || document.body.scrollWidth;
    // console.log(osTop)
    if (osTop>300 && osWidth>865) {
      tocbox.style.display = "block"
    }
    if (osTop<300 || osWidth<865) {
      tocbox.style.display = "none"
    }
  }
</script>
                <footer>
                    <div class="icons">
                    </div>
                    <span id="busuanzi_container_page_pv" style="padding: 10px">本文阅读量<span id="busuanzi_value_page_pv"></span>次</span>
                    <span id="busuanzi_container_site_pv" style="padding: 10px">本站总访问量<span id="busuanzi_value_site_pv"></span>次</span>
                    <span id="busuanzi_container_site_uv" style="padding: 10px">本站总访客数<span id="busuanzi_value_site_uv"></span>人</span>
                    <p>© <script>document.write(moment().format('YYYY'));</script> 749B</p>
                </footer>
        </div>
</body>
</html>